A course that examines issues from philosophy of language, elementary logic and philosophy of computation from both a conceptual and a historical perspective. Thorough discussion of basic concepts such as meaning, reference, truth, concepts of logic, translation and computation.